#ifndef __HAVE_GDT_H
#define __HAVE_GDT_H

#include <types.h>

void gdt_set_gate(_s32 num, _u32 base, _u32 limit, _u8 access, _u8 granularity);
void gdt_install();

#endif /* __HAVE_GDT_H */
